2

Non-Turing Computations Via Malament–Hogarth Space-Times

Year:
2002
Language:
english
File:
PDF, 149 KB
english, 2002
5

On the Equational Theory of Representable Polyadic Equality Algebras

Year:
2000
Language:
english
File:
PDF, 516 KB
english, 2000